#include "inc/system.h"
#include "inc/print.h"

int main(){
  stdioInit(0);
  uart_write('s');

  int val = 12345678;
  printInt(val);print("\r\n");

  while(1){
    int v = getc();
    putc(v);
  }


}
